|
Eclipse Platform Pre-release 3.0 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.eclipse.jface.text.Position
org.eclipse.jface.text.ProjectionPosition
Represents the corresponding parent document range of a fragment of a ProjectionDocument
.
This calss is for internal use only.
Field Summary |
Fields inherited from class org.eclipse.jface.text.Position |
isDeleted, length, offset |
Constructor Summary | |
ProjectionPosition(IDocument projectionDocument,
int offset,
int length)
Creates a new position representing the corresponding range of a fragment. |
Method Summary | |
Fragment |
getFragment()
Returns the corresponding fragment. |
void |
setFragment(Fragment fragment)
Sets the corresponding fragment. |
Methods inherited from class org.eclipse.jface.text.Position |
delete, equals, getLength, getOffset, hashCode, includes, isDeleted, overlapsWith, setLength, setOffset, undelete |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public ProjectionPosition(IDocument projectionDocument, int offset, int length)
projectionDocument
- the projection documentoffset
- the offset of the range of the parent documentlength
- the length of the range of the parent documentMethod Detail |
public void setFragment(Fragment fragment)
fragment
- the corresponding fragmentpublic Fragment getFragment()
|
Eclipse Platform Pre-release 3.0 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |